- conversion functor
- функтор преобразования
English-Russian dictionary of computer science. 2015.
English-Russian dictionary of computer science. 2015.
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Covariance and contravariance (computer science) — Within the type system of a programming language, covariance and contravariance refers to the ordering of types from narrower to wider and their interchangeability or equivalence in certain situations (such as parameters, generics, and return… … Wikipedia
Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Unit — may refer to:In mathematics: * Unit vector, a vector with length equal to 1 * Unit circle, the circle with radius equal to 1, centered at the origin * Unit interval, the interval of all real numbers between 0 and 1 * Imaginary unit, i , whose… … Wikipedia
Monoid — This article is about the mathematical concept. For the alien creatures in the Doctor Who adventure, see The Ark (Doctor Who). Coherence law for monoid unit In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a… … Wikipedia
Generic programming — is a style of computer programming in which algorithms are written in terms of to be specified later types that are then instantiated when needed for specific types provided as parameters and was pioneered by Ada which appeared in 1983. This… … Wikipedia
Operators in C and C++ — This is a list of operators in the C and C++ programming languages. All the operators listed exist in C++; the fourth column Included in C , dictates whether an operator is also present in C. Note that C does not support operator overloading.… … Wikipedia
Comparison of Prolog standards compliance — Prolog is a logic programming language. The ISO Prolog standard: ISO/IEC 13211 1 [ISO/IEC 13211: Information technology mdash; Programming languages mdash; Prolog. International Organization for Standardization, Geneva. ] , published in 1995,… … Wikipedia